Note on pure subsystems

A note on pandecomposable (v, 4, 2)-BIBDs with subsystems

A Note on Solid Coloring of Pure Simplicial Complexes

We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in R may be colored with d+1 colors so that no two simplices that share a (d−1)-facet have the same color. In R this says that any planar map all of whose faces are triangles may be 3-colored, and in R it says that tetrahedra in a collection may be “solid 4-colored” so that no two g...

A Note on Pure Variations of Axioms of Blackwell Determinacy

In this note, we look at weaker versions of the Axiom of Blackwell Determinacy introduced in [Lö02b] and [Lö03]. We use these results to get a new lower bound for the consistency strength of the Axiom of pure Blackwell Determinacy pBl-AD. We shall investigate Blackwell games against opponents with arbitrary mixed strategies Bl-Det(Γ), against opponents with usual pure strategies pBl-Det(Γ), and...

Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL

The Strong Categorical Combinatory Logic (CCL, CCLpqSP), developed by Curien (1986) is, when typed and augmented with a rule defining a terminal object, a presentation of Cartesian Closed Categories. Furthermore, it is equationally equivalent to the Lambda-calculus with explicit couples and Surjective Pairing. Here we study the confluence properties of (CCL, CCLpqSP) and of several of its subsy...

Bounds on entanglement in qudit subsystems

Vivien M. Kendon,* Karol Życzkowski, and William J. Munro Optics Section, Blackett Laboratory, Imperial College, London SW7 2BW, United Kingdom Center for Theoretical Physics, Polish Academy of Sciences, Al. Lotników 32/44, 02-668 Warszawa, Poland Hewlett-Packard Laboratories, Filton Road, Stoke Gifford, Bristol BS34 8QZ, United Kingdom ~Received 18 March 2002; revised manuscript received 31 Ma...